Satisfiability of Equality Equations

welcome to shbcf.ru